.intel_syntax noprefix
MFENCE # instrumentation
.test_case_enter:
.function_main:
.bb_main.entry:
JMP .bb_main.0 
.bb_main.0:
AND RCX, 0b1111111111111 # instrumentation
CMOVNZ CX, word ptr [R14 + RCX] 
AND RCX, 0b1111111111111 # instrumentation
TEST byte ptr [R14 + RCX], DL 
AND RDX, 0b1111111111111 # instrumentation
AND DX, 0b111 # instrumentation
BTS word ptr [R14 + RDX], DX 
AND SIL, -19 # instrumentation
CMOVNLE EBX, EBX 
AND RDX, 0b1111111111111 # instrumentation
CMOVL RDX, qword ptr [R14 + RDX] 
AND RAX, 0b1111111111111 # instrumentation
LOCK BTS qword ptr [R14 + RAX], 4 
JNBE .bb_main.1 
JMP .bb_main.exit 
.bb_main.1:
AND SIL, 29 # instrumentation
CMOVZ EDX, EBX 
CMOVS RDX, RCX 
AND RDX, 0b1111111111111 # instrumentation
BTC word ptr [R14 + RDX], 1 
AND RDX, 0b1111111111111 # instrumentation
AND RDI, 0b111 # instrumentation
LOCK BTS qword ptr [R14 + RDX], RDI 
AND SIL, 64 # instrumentation
CMOVNS RSI, RDX 
AND RCX, 0b1111111111111 # instrumentation
CMOVNP ECX, dword ptr [R14 + RCX] 
BTS RSI, RDX 
AND RBX, 0b1111111111111 # instrumentation
AND word ptr [R14 + RBX], -72 
CMOVNZ RDI, RDI 
AND AX, -90 
AND EAX, 1921954047 
AND RCX, 0b1111111111111 # instrumentation
XOR byte ptr [R14 + RCX], SIL 
XOR RAX, 374877341 
AND RDX, 0b1111111111111 # instrumentation
CMOVNLE RCX, qword ptr [R14 + RDX] 
.bb_main.exit:
.test_case_exit:
MFENCE # instrumentation
